1. Foundations of security, protocols, and equational reasoning :
پدیدآورنده : Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Cryptography, Congresses.,Data protection, Congresses.,Logic design, Congresses.,Computer network protocols.,Cryptography.,Data protection.,Logic design.
رده :
QA76
.
9
.
A25
